对求解非线性方程方法的探索

BaiCL在2001年提出了双曲函数法，并把解设成具体的双曲函数，即sinhw和coshw的线性组合．本文把解设成是由2个函数f(ξ)和g(ξ)组成的线性组合，它们可以有多种取法，从而使方程更直接、更有效．借助数学软件Maple，用改进后的方法和吴文俊消元法，求解Bai C L文中的一个例子，获得了包含Bai文结果在内的更为丰富、精确的行波解．     

Stability and Nonlinear Deformation of Cylindrical Grids

The general stability of single-layer cylindrical grids is studied in linear and nonlinear formulations. Dependence of the general buckling load on the geometry and stiffness parameters of a grid is established in an analytical form. Such grids are numerically analyzed for stability. It is established that the general buckling load is much less than the local buckling load. Typical general buckling modes are found. It is shown that such grids are weakly sensitive to imperfections     

General expressions of peaked traveling wave solutions of CH-γ and CH equations

We use qualitative analysis and numerical simulation to study peaked traveling wave solutions of CH-γ and CH equations. General expressions of peakon and periodic cusp wave solutions are obtained. Some previous results become our special cases.     

组合DEA方法与成熟度模型对项目效益的评价

为全面考虑资金、管理决策能力等因素对项目效益的影响，本运用数据包络分析与项目成熟度模型结合的方法来对企业各个项目之间的相对效益进行评价，应用结果表明该评价方法对于企业资源的最优配置、提高总体效益是十分有用的。     

FAST ACCURATE PREDICTION OF BLANK SHAPE IN SHEET METAL FORMING

By using the Finite Element Inverse Approach based on the Hill quadratic anisotrop-ically yield criterion and the quadrilateral element, a fast analyzing software-FASTAMP for the sheet metal forming is developed. The blank shapes of three typical stampings are simulated and compared with numerical results given by the AUTOFORM software and experimental results, respectively. The comparison shows that the FASTAMP can predict blank shape and strain distribution of the stamping more precisely and quickly than those given by the traditional methods and the AUTOFORM.     

Uniformity in Computable Structure Theory

We investigate the effects of adding uniformity requirements to concepts in computable structure theory such as computable categoricity (of a structure) and intrinsic computability (of a relation on a computable structure). We consider and compare two different notions of uniformity, previously studied by Kudinov and by Ventsov. We discuss some of their results and establish new ones, while also exploring the connections with the relative computable structure theory of Ash, Knight, Manasse, and Slaman and Chisholm and with previous work of Ash, Knight, and Slaman on uniformity in a general computable structure-theoretical setting.     

广义集值强非线性拟变分不等式

本文引入并研究一类新的广义集值强非线性拟变分不等式,讨论这类广义集值强非线性拟变分不等式解的存在性以及由算法所构造的迭代序列的收敛性.我们的结果改进和发展了Noor,Siddiqi和Ansari等人近期的一些主要结果.     

The Clock Paradox in a Static Homogeneous Gravitational Field1

The gedanken experiment of the clock paradox is solved exactly using the general relativistic equations for a static homogeneous gravitational field. We demonstrate that the general and special relativistic clock paradox solutions are identical and in particular that they are identical for finite acceleration. Practical expressions are obtained for proper time and coordinate time by using the destination distance as the key observable parameter. This solution provides a formal demonstration of the identity between the special and general relativistic clock paradox with finite acceleration and where proper time is assumed to be the same in both formalisms. By solving the equations of motion for a freely falling clock in a static homogeneous field elapsed times are calculated for realistic journeys to the stars. ¹ Both authors contributed equally to this paper.     

基于PROFIBUS注塑车间分布式监控系统的研究

随着塑料产品产量的增加,许多企业都建有一定规模的注塑车间.对车间内的注塑机进行有效的计算机监控管理,能及时掌握注塑机的运行状况,提高生产效率,提升企业信息化程度.采用一种基于PROFIBUS现场的总线技术,给出了注塑车间分布式监控系统的硬件组成原理、监控系统的功能及系统组态的实现,该系统可同时对多台注塑机进行现场及远程监控.